Leipzig University - PDFSEARCH.IO - Document Search Engine

Leipzig University
Results: 264

#	Item
141	Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Type theory Dependently typed programming Computability theory General topology Net Inductive data type Constructible universe Inductive reasoning Linear logic Logic Mathematical logic Mathematics
142	Dependency Pairs are a Simple Semantic Path Ordering Nachum Dershowitz School of Computer Science, Tel Aviv University Ramat Aviv, Israel Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Mathematical logic Rewriting Monotonic function Monotonicity criterion Abstraction Mathematics Formal languages Logic in computer science
143	Partial Status for KBO Akihisa Yamada1 , Keiichirou Kusakari1 , and Toshiki Sakabe1 1 Graduate School of Information Science, Nagoya University, Japan Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Abstract algebra Combinatorics Permutation
144	SAT-Based Loop Detection in Graph Rewriting Marcus Ermler University of Bremen, Department of Computer Science P.O.Box, 28334 Bremen, Germany Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Line graph Connectivity Matching Neighbourhood Power graph analysis Graph theory Mathematics Graph
145	Termination of LCTRSs∗ Cynthia Kop1 1 Department of Computer Science, University of Innsbruck Technikerstraße 21a, 6020 Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Mathematical logic Model theory Symbol Function Rewriting Interpretation Binary relation Mathematics Formal languages Logic
146	Chinese Whispers - an Efficient Graph Clustering Algorithm and its Application to Natural Language Processing Problems Chris Biemann University of Leipzig, NLP Department Augustusplatz[removed]Leipzig, Germany Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-15 07:49:32 Word-sense induction Clique Graph Clustering coefficient Bipartite graph Adjacency matrix Cluster analysis Line graph Chordal graph Graph theory Algebraic graph theory Neighbourhood
147	Prof. Dr. Gerd Rudolph Institute for Theoretical Physics, University of Leipzig, Augustusplatz 10/11, 04109 Leipzig CURRICULUM VITAE Born September 5, 1950, Langenberg Add to Reading List Source URL: www.physik.uni-leipzig.de Language: English - Date: 2009-07-07 08:05:18 Wojciech Rubinowicz Arnold Sommerfeld Physics Mathematical physics Science
148	Migrating Bibliographic Datasets to the Semantic Web: the AGRIS case Editor(s): Jens Lehmann, University of Leipzig, Germany; Oscar Corcho, Universidad Politécnica de Madrid, Spain; Richard Cyganiak, DERI Galway, Irelan Add to Reading List Source URL: www.semantic-web-journal.net Language: English Data AGRIS AGROVOC Linked data Geopolitical ontology Resource Description Framework Metadata Simple Knowledge Organization System VoiD Knowledge representation Semantic Web Information
149	Transformational language games and the representation of Polish nasal vowels Joanna Zaleska (University of Leipzig) & Andrew Nevins (University College London) This study investigates the underlying representation of na Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:59 Phonology Assimilation Nasal vowel Nasalization Syllable Xavante language Polish phonology Linguistics Vowels Phonetics
150	Prof. Dr. Gerd Rudolph Institute for Theoretical Physics, University of Leipzig Augustusplatz 10/11, 04109 Leipzig List of Publications Add to Reading List Source URL: www.physik.uni-leipzig.de Language: English - Date: 2013-03-25 10:54:06 Quantum mechanics Gauge theories Theoretical physics Lattice gauge theory Quantum chromodynamics Superselection Yang–Mills theory Einstein–Cartan theory Lattice QCD Physics Quantum field theory Lattice models

UPDATE